Free shipping on all orders! No minimum purchase required.
Software Verification and Analysis
by Janusz Laski, William Stanley
